[section .data]
msg_1: db "[irq 80]processor id: %d, enter", 10, 13, 0

[section .text]
[bits 64]

extern printk

global irq80_handler_entry
irq80_handler_entry:
    swapgs
    mov rsi, [gs:0]
    swapgs

    mov rdi, msg_1
    call printk


    iretq